$\forall$${\it es}$:ES, $e$:E, $l$:IdLnk. es{-}receives(${\it es}$;$e$;$l$) $\in$ E List